Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
351	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-05-05 13:52:00 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
352	Process-Based Software Components Mobies Phase 1, UC Berkeley Edward A. Lee and Tom Henzinger (with contributions from Steve Neuendorffer, Christopher Hylands, Jie Liu, Xiaojun Liu, Yang Zhao, and Haiyang Zheng) Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-12-01 19:04:33 Models of computation Association of Public and Land-Grant Universities Ptolemy Project Systems engineering Software Dataflow Actor model Component-based software engineering Phase Computing Software engineering Visual programming languages
353	Microsoft Word - Study Material Part 4.doc Add to Reading List Source URL: training.nwcg.gov Language: English - Date: 2014-07-11 15:38:20 Charts Diagrams Nomogram Theory of computation Atmospheric dynamics Wildfire Quadrant Fuel model Wind Meteorology Science Technology
354	Model-Based Design in the Ptolemy Project A Chess Project Center for Hybrid and Embedded Software Systems Chess Board of Directors Tom Henzinger Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2003-07-31 13:47:17 Models of computation University of California Berkeley Chess Concurrency SIGNAL Kahn process networks Computer chess Games Ptolemy Project Systems engineering
355	Dynare Working Papers Series http://www.dynare.org/wp/ Computation of LQ Approximations to Optimal Policy Problems in Different Information Settings Add to Reading List Source URL: www.dynare.org Language: English - Date: 2011-11-16 11:25:59 Convex optimization Applied mathematics Linear programming Mathematical optimization Dynamic stochastic general equilibrium Macroeconomic model Stochastic control Macroeconomics Operations research Economics
356	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams
357	3-7 As indicated previously in Section 3.1.1, part of the Acres’ model development included the development of overbank/floodplain information to enable the computation of water surface profiles for floods up to the 3 Add to Reading List Source URL: www.floodwayauthority.mb.ca Language: English - Date: 2008-07-25 16:37:12 Physical geography Geomorphology Sedimentology Flood control Floodplain Flood Overbank Truss Bridge Hydrology Meteorology Atmospheric sciences
358	CONTENT-BASED MUSICAL SIMILARITY COMPUTATION USING THE HIERARCHICAL DIRICHLET PROCESS Matthew Hoffman Princeton University Dept. of Computer Science Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-08-18 22:20:55 Dirichlet process Hidden Markov model Mixture model Expectation–maximization algorithm Information retrieval Dirichlet distribution Normal distribution Semantic similarity Kullback–Leibler divergence Statistics Machine learning Natural language processing
359	In Math. Struct. in Comp. Science, 13:4, [removed], August[removed]Transition and Cancellation in Concurrency and Branching Time Vaughan R. Pratt Stanford University Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-11-01 13:39:49 Mathematics Category theory Formal languages Theoretical computer science Concurrency Petri net Actor model Monoid Parallel computing Automata theory Abstract algebra Models of computation
360	Ptolemy Project Status and Overview Edward A. Lee Ptolemy Project Director, UC Berkeley 6th Biennial Ptolemy Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-05-18 19:13:13 Visual programming languages Programming paradigms Computer architecture Models of computation Ptolemy Project Systems engineering Dataflow Ptolemy Actor model Computing Software engineering Computer programming